Christel Baier: Z-Library 사이트에서 검색하기

모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

지식과 문화를 자유롭게 접하기.

모금 9월 15일 2024 – 10월 1일 2024

Z-Library이란 세계에서 가장 큰 온라인 도서관 중 하나이며, 17,000,000 이상의 책과 84,837,000 이상의 기사 포함합니다. 우리는 모든 사람이 문학을 접할 수 있도록 하는 것을 목표로 합니다. 오늘 (9월 15일 2024) 프로젝트 운영과 발전을 위해 새로운 모금활동을 시작합니다.

또한 무제한 다운로드(기부가 이루어진 날 이후로 31일 동안)가 까지 모금 기간 내에 프로젝트를 지원해 주시는 모든10월 1일 2024 사용자 분들에게 주어집니다.

모금에 대해서상세정보

책들 (21)
가장 인기 있는
목록
- 목록
- 표

1

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

년:

2008

언어:

english

파일:

PDF, 17.08 MB

0 / 5.0

english, 2008

2

Theoretische Informatik: Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Theoretische Informatik: Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Pearson Studium

Alexander Asteroth, Christel Baier

년:

2002

언어:

german

파일:

PDF, 2.01 MB

0 / 0

german, 2002

3

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

년:

2008

언어:

english

파일:

PDF, 5.15 MB

0 / 5.0

english, 2008

4

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Springer International Publishing

Christel Baier, Ugo Dal Lago

년:

2018

언어:

english

파일:

PDF, 16.99 MB

0 / 0

english, 2018

5

Foundations of Genetic Algorithms: 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papers

Foundations of Genetic Algorithms: 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wolfgang Lenders, Christel Baier (auth.), Alden H. Wright, Michael D. Vose, Kenneth A. De Jong, Lothar M. Schmitt (eds.)

년:

2005

언어:

english

파일:

PDF, 3.14 MB

0 / 0

english, 2005

6

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

년:

2008

언어:

english

파일:

PDF, 4.40 MB

0 / 5.0

english, 2008

7

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Cesare Tinelli (eds.)

년:

2015

언어:

english

파일:

PDF, 19.20 MB

0 / 0

english, 2015

8

Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

Springer-Verlag Berlin Heidelberg

Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)

년:

2004

언어:

english

파일:

PDF, 5.22 MB

0 / 0

english, 2004

9

Theoretische Informatik

Theoretische Informatik

Pearson Studium

Asteroth Alexander, Baier Christel

년:

2002

언어:

german

파일:

PDF, 2.08 MB

0 / 0

german, 2002

10

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Christel Baier & Ugo Dal Lago [Christel Baier and Ugo Dal Lago]

년:

2018

언어:

english

파일:

EPUB, 12.25 MB

0 / 0

english, 2018

11

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)

년:

2000

언어:

english

파일:

PDF, 6.41 MB

0 / 0

english, 2000

12

CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee (auth.), Christel Baier, Holger Hermanns (eds.)

년:

2006

언어:

english

파일:

PDF, 5.16 MB

0 / 0

english, 2006

13

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)

년:

2010

언어:

english

파일:

PDF, 4.46 MB

0 / 0

english, 2010

14

Principles of Model Checking (Instructor Solution Manual, Solutions)

Principles of Model Checking (Instructor Solution Manual, Solutions)

Christel Baier, Joost-Pieter Katoen

년:

2008

언어:

english

파일:

PDF, 1005 KB

0 / 5.0

english, 2008

15

The MIT Press Principles of Model Checking

The MIT Press Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

년:

2008

언어:

english

파일:

PDF, 17.06 MB

0 / 0

english, 2008

16

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Christel Baier & Ugo Dal Lago

년:

2018

언어:

english

파일:

PDF, 16.97 MB

0 / 0

english, 2018

17

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Springer International Publishing

Christel Baier, Luís Caires

년:

2018

언어:

english

파일:

PDF, 7.80 MB

0 / 0

english, 2018

18

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Springer International Publishing

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.)

년:

2017

언어:

english

파일:

PDF, 23.72 MB

0 / 0

english, 2017

19

Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Verena Wolf (auth.), Paolo Ciancarini, Herbert Wiklicky (eds.)

년:

2006

언어:

english

파일:

PDF, 3.54 MB

0 / 0

english, 2006

20

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)

년:

2010

언어:

english

파일:

PDF, 4.41 MB

0 / 0

english, 2010

21

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)

년:

2000

언어:

english

파일:

PDF, 8.87 MB

0 / 0

english, 2000